1. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
2. Algebraic Complexity Theory
پدیدآورنده : by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
3. <An> introduction to Gödel's Theorems
پدیدآورنده : \ Peter Smith
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
4. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
59
K538
2012
5. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
6. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
7. Computability theory: an introduction
پدیدآورنده : )by( Neil D. Jones,Title
موضوع : Recursive functions,Turing machines,Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Enumerability · Decidability Computability
پدیدآورنده : by Hans Hermes.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
9. Introduction to computability
پدیدآورنده : Hennie, Frederick C
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
10. Introduction to computability
پدیدآورنده : Hennie, Frederick C.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
11. Languages and machines :
پدیدآورنده : Thomas A. Sudkamp
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
12. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
13. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
14. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
15. The singularity is near :
پدیدآورنده : Ray Kurzweil.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
رده :
QP376
.
K85
2006
16. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
17. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
18. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
